How to turn logic gate circuits into logic statements